• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۱ پاسخ غیر تکراری از ۱۱ پاسخ تکراری در مدت زمان ۰,۷۲ ثانیه یافت شد.

1. A Framework for Priority Arguments

Author: Lerman, Manuel

Library: Central library and document university of Kurdistan (Kurdistan)

Subject: Religion and Philosophy

Classification :
RIS Bibtex ISO

2. <A> Framework for Priority Arguments

Author: / Manuel Lerman

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی

Classification :
QA9
,.
54
.
F7
,
L47
2010
مشاهده در قفسه مجازی RIS Bibtex ISO

3. A framework for priority arguments

Author: Manuel Lerman

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical

Classification :
QA
9
.
A1L44
Vol
.
34
مشاهده در قفسه مجازی RIS Bibtex ISO

4. Degrees of Unsolvability :

Author: Manuel Lerman

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject:

Classification :
QA9
.
63
M368
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

5. Degrees of Unsolvability; Local and global theeory

Author: Lerman, Manuel, 1943-

Library: Central Library and Document Center of Isfahan University (Esfahan)

Subject: Logic, Symbolic and mathematical

Classification :
511
L616d
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Degrees of unsolvability

Author: Lerman, M. (Manuel), 1943-

Library: Central Library of Esfehan University of Technology (Esfahan)

Subject: Unsolvability (Mathematical logic)

Classification :
QA
9
.
63
.
L47
مشاهده در قفسه مجازی RIS Bibtex ISO

7. Degrees of unsolvability : local and global theory

Author: Manuel Lerman

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Unsolvability )Mathematical logic(

Classification :
QA
9
.
63
.
L47
1983
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Logic year 1979-80, the University of Connecticut, U.S.A

Author: Edited by M. Lerman, J. H. Schmerl, and R. I. Soare

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Congresses ، Logic, Symbolic and mathematical

Classification :
QA
3
.
L28
no
.
859
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Logic year 1979-80, the University of Connecticut, USA

Author: edited by M. Lerman, J.H. Schmerl, and R.I. Soare

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Logic, Symbolic and mathematical

Classification :
QA
1
.
L4
v
.
859
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Logic year 1979-80, the University of Connecticut, USA

Author: / edited by M. Lerman, J.H. Schmerl, R.I. Soare

Library: Library of College of Science University of Tehran (Tehran)

Subject: Logic, Symbolic and mathematical -- Congresses

Classification :
QA
9
.
A1
L65
1981
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Logic year 1979-80 : the University of Connecticut, USA

Author: edited by M. Lerman, J. H. Schmerl, and R. I. Soare

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Logic, Symbolic and mathematical

Classification :
QA
3
.
L28
Vol
.
859
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival